The Jackson Development Methods
نویسنده
چکیده
The Jackson Development Methods are JSP (Jackson Structured Programming) and JSD (Jackson System Development). JSP is a method for designing programs as compositions of sequential processes; JSD is a method for specifying and designing systems whose application domain has a strong temporal flavour and contains objects whose behaviour is describable in terms of sequences of events. Many program and system development problems thus fall within the scope of JSP and JSD, and the methods have been used to develop data processing systems, control systems, systems software, embedded systems, and even a music synthesiser. The UK Government adopted JSP as a standard in 1974, using a slightly modified version known as SDM (Structured Design Method).
منابع مشابه
Towards A CASE Tool for Jackson’s JSP, JSD and Problem Frames
The development of a CASE tool that supports Jackson’s methods – Problem Frames, JSD and JSP is urged and justified. Jackson’s methods are sound, and fundamental ideas about design provide unity to his thought; in short, his contributions deserve to be part of the software engineering curriculum. A CASE tool would help to achieve this end. Moreover, teachers need a CASE tool to teach software e...
متن کاملMolecular-Friendly Histopathology
The rapidly expanding fields of pharmacogenomics and pharmacodiagnostics have presented the pathology laboratories with many challenges and opportunities. As custodians of patient tissues, these laboratories are in the logical position to perform biomolecular testing for proper management of patients. In order to meet these challenges, the pathology laboratories of the twenty-first century shou...
متن کاملFormal Methods & Traditional Engineering : by Michael Jackson
Formal methods have not been taken up by industry to the extent that their creators and advocates think desirable. Certainly there have been some important successes. The Praxis CDIS development, the IBM Hursley redevelopment of CICS, the TCAS system, the INMOS T9000 transputer and a number of others are well known; but their very notability indicates how few convincing examples there are. And ...
متن کاملJackson System Development, Entity-relationship Analysis and Data Flow Models: a Comparative Study
This paper compares JSD with ER modelling and with data ow modelling. It is shown that the JSD method can be combined with ER modelling and that the result is a richer method than either of the two. The resulting method can serve as a basis for a practical object-oriented modelling method and has some resemblance to parts of well-known methods, like OMT. It is also argued that JSD and data ow m...
متن کاملCombining Static and Dynamic Modelling Methods: A Comparison of Four Methods
A conceptual model of a system is an explicit description of the behaviour required of the system. Methods for conceptual modelling include entity-relationship (ER) modelling, data flow modelling, Jackson System Development (JSD) and several object-oriented analysis methods. Given the current diversity of modelling methods, it is important for teaching as well as using these methods to know wha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001